Non-quasi-well behaved closed $\ast $-derivations

Well Behaved Derivations in One-rule Semi-thue Systems

Quasi-derivations and quasi-algebroids

Axioms of Lie algebroid are discussed. In particular, it is shown that a Lie quasi-algebroid (i.e. a Lie algebra bracket on the C∞(M)-module E of sections of a vector bundle E over a manifold M which satisfies [X, fY ] = f [X, Y ] + A(X,f)Y for all X, Y ∈ E , f ∈ C∞(M), and for certain A(X,f) ∈ C∞(M)) is a Lie algebroid if rank(E) > 1, and is a local Lie algebra in the sense of Kirillov if E is...

Well Behaved Transition Systems

The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability problem. We show coverability decidable for monotone transition systems that only require the absence of infinite antichains and call well behaved transitio...

Well-behaved Production Economies

We show that production economies are tâtonnement stable if consumers satisfy the weak axiom of revealed preference. To ensure that producer supply decisions are well defined, we restrict prices in the tâtonnement so that positive profits cannot occur but do allow supply decisions to be multi-valued. The model therefore permits linear activities and hence the technologies that admit capital the...

Well-Behaved IDL Theories

The eld of nonmonotonic logic, sixteen years old now, is devoted to solve the problem of reasoning under incomplete knowledge, whose good understanding is essential to the construction of AI as a science and whose relevance reaches far beyond AI applications. During these years, many insights have been accumulated in the form of desirable properties the proposed formalisms should exhibit and of...